Functions on tableau frames
نویسندگان
چکیده
منابع مشابه
A Tableau Calculus for Partial Functions ?
Even though it is not very often admitted, partial functions do play a signiicant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional lo...
متن کاملFunctions, Frames, and Interactions
This paper describes some proposals for improving the reduction language KiR with respect to data abstraction, modularization and input/output. Rather than adding specialized language elements for each purpose, an attempt is made to provide the desired functionality by way of only two extensions. These are frames (record-like data structures) and interactions (constructs describing communicatio...
متن کاملMeasure Functions for Frames
This paper addresses the natural question: “How should frames be compared?” We answer this question by quantifying the overcompleteness of all frames with the same index set. We introduce the concept of a frame measure function: a function which maps each frame to a continuous function. The comparison of these functions induces an equivalence and partial order that allows for a meaningful compa...
متن کاملNote on B-splines, wavelet scaling functions, and Gabor frames
Let g be a continuous, compactly supported function on R such that the integer translates of g constitute a partition of unity. We show that the Gabor system (g, a, b), with window g and time-shift and frequency-shift parameters a, b > 0 has no lower frame bound larger than 0 if b = 2, 3, . . . and a > 0. In particular, (g, a, b) is not a Gabor frame if g is a continuous, compactly supported wa...
متن کاملstudy of hash functions based on chaotic maps
توابع درهم نقش بسیار مهم در سیستم های رمزنگاری و پروتکل های امنیتی دارند. در سیستم های رمزنگاری برای دستیابی به احراز درستی و اصالت داده دو روش مورد استفاده قرار می گیرند که عبارتند از توابع رمزنگاری کلیددار و توابع درهم ساز. توابع درهم ساز، توابعی هستند که هر متن با طول دلخواه را به دنباله ای با طول ثابت تبدیل می کنند. از جمله پرکاربردترین و معروف ترین توابع درهم می توان توابع درهم ساز md4, md...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1979
ISSN: 0012-365X
DOI: 10.1016/0012-365x(79)90079-7